limited state model

有限状态模